#include<stdio.h>
int main()
{
    int i = 0;
    for (i = 0; i < 10000; i++)
    {
        printf("%d:hello linux\n", i);
    }
    return 0;
}
